Reification and immaterial production
نویسندگان
چکیده
منابع مشابه
Interactive, Immaterial FogScreen
The walk-through FogScreen has become very popular and famous during recent years. It is an immaterial projection screen that consists of air and a little humidity, and enables high-quality projected images in thin air, as well as many new applications. In this paper we describe a new extension, the interactive FogScreen, which turns it into a computer touch screen.
متن کاملLiteral Reification
In this paper we introduce the pattern literal reification, a modelling technique to address scenarios, in which we need to bless particular literals, usually when applying data properties, in order to use them as subjects and/or full-fledged objects of semantic assertions.
متن کاملImmaterial Aspects of Thought
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive o...
متن کاملTheory propagation and reification
SAT Modulo Theories (SMT) is the problem of determining the satisfiability of a formula in which constraints, drawn from a given constraint theory T , are composed with logical connectives. The DPLL(T ) approach to SMT has risen to prominence as a technique for solving these quantifier-free problems. The key idea in DPLL(T ) is to couple unit propagation in the propositional part of the problem...
متن کاملHalf Reification and Flattening
Usually propagation-based constraint solvers construct a constraint network as a conjunction of constraints. They provide propagators for each form of constraint c. In order to increase expressiveness, systems also usually provide propagators for reified forms of constraints. A reified constraint b ↔ c associates a truth value b with a constraint c. With reified propagators, systems can express...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophy & Social Criticism
سال: 2019
ISSN: 0191-4537,1461-734X
DOI: 10.1177/0191453719829188